Remove gtk_propagate_event from public API
authorMatthias Clasen <mclasen@redhat.com>
Sun, 9 Feb 2020 16:00:53 +0000 (11:00 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 9 Feb 2020 16:00:53 +0000 (11:00 -0500)
commitb927609e21fbc8d0d9eaefc0eaf67f5822d186cc
tree6ee41e42fd6f73538a9c985e2c664c1436ba55ca
parent688f8bf0850c588845242c38aab102c2028f9572
Remove gtk_propagate_event from public API

This is not a function that can be safely called
outside of GTK.
docs/reference/gtk/gtk4-sections.txt
docs/reference/gtk/input-handling.xml
gtk/gtkmain.h
gtk/gtkprivate.h